exercise 1.6 theory of computation